41 lines
957 B
Typst
41 lines
957 B
Typst
#import "lib.typ": *
|
|
|
|
#import "jury.typ": jury-content
|
|
|
|
#show: matisse-thesis.with(
|
|
title-fr: [Rétro-Ingénierie d'applications Android: les inconvénients de l'analyse statique], // malheurs -> inconvénients ?
|
|
title-en: [],
|
|
author: "Jean-Marie MINEAU",
|
|
affiliation: "IRISA",
|
|
defense-place: "Rennes",
|
|
draft: false,
|
|
defense-date: datetime(
|
|
year: 2025,
|
|
month: 12,
|
|
day: 10,
|
|
).display("[year]-[month]-XX"),
|
|
jury-content: jury-content,
|
|
university: "CS",
|
|
lang: "fr",
|
|
show_cover: true,
|
|
show_body: true,
|
|
show_abstracts: false,
|
|
preliminary: true,
|
|
)
|
|
|
|
#set heading(numbering: none, outlined: true)
|
|
|
|
// Abrevation are links to `0_preamble/notations.typ`, but we do not include it here, so we need to remove the dangling links.
|
|
#show link: it => if type(it.dest) == label {
|
|
context {
|
|
if query(it.dest).len() == 0 {
|
|
it.body
|
|
} else {
|
|
it
|
|
}
|
|
}
|
|
} else {
|
|
it
|
|
}
|
|
|
|
#include("0_preamble/french_summary.typ")
|